< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
％直接型到并联型的转换 ％ ％[C,B,A]=dir2par(b,a) ％C为当b的长度大于a时的多项式部分 ％B为包含各bk的K乘2维实系数矩阵 ％A为包含各ak的K乘3维实系数矩阵 ％b为直接型分子多项式系数 ％a为直接型分母多项式系数 ％
上传时间： 2014-01-20
上传用户：lizhen9880
直接型到级联型的形式转换 ％ [b0,B,A]=dir2cas(b,a) ％b 为直接型的分子多项式系数 ％a 为直接型的分母多项式系数 ％b0为增益系数 ％B 为包含各bk的K乘3维实系数矩阵 ％A 为包含各ak的K乘3维实系数矩阵 ％
上传时间： 2013-12-30
上传用户：agent
B树及其B+树的实现代码，支持模版（数据类型，M值）
上传时间： 2016-02-22
上传用户：jhksyghr
ID/IE系列工业像机 驱动程序开发包SDK-VC库
上传时间： 2013-12-02
上传用户：lo25643
Description Calculate a+b Input Two integer a,b (0<=a,b<=101000) Output Output a + b Sample Input 5 7 Sample Output 12
标签： Description Calculate integer 101000
上传时间： 2014-01-25
上传用户：tonyshao
Prentice Hall 出版的整合linux和windows <b>英文原版<b> 另本人有大量电子书，O Reilly的最多 有需要的朋友在我的个人空间上给我留言
标签： Prentice windows linux Hall
上传时间： 2014-01-22
上传用户：JIUSHICHEN
欧几里德算法：辗转求余 原理: gcd(a,b)=gcd(b,a mod b) 当b为0时,两数的最大公约数即为a getchar()会接受前一个scanf的回车符
上传时间： 2014-01-10
上传用户：2467478207
//9488定时器B功能测试 9488定时器B功能测试B:DAMI调试通过: 9488 8位定时器B的使用 有关的I/O为三个:TBPWM(输出)(P1.0) 模式有:间隔定时功能,PWM模式 有定时中断:定时器B溢出中断
上传时间： 2017-06-01
上传用户：ryb
用三点法实现机器人三维位置测量的研究摘 要 ：提 出 了一 种 微 小 爬 壁 机 器 人 三 维 位 置 测 量 的新 方 法 。笔 者 通 过 深 入 分 析 研 究各 种 位 置 测 控 方 法 与 系 统 ，提 出采 用单 目视 觉方 法 中的 聚 焦法 ，以 CCD作 为 传 感 器 ，用 三 点 法 实现 对 机 器 人 的 三 维 位 置 测 量 。 验 证性 实验 结果表 明 ，本研 究提 出的测 量原 理和 系统是 正 确 可行 的 。 关键词 ：机 器人 ；位置 测量 ；CCD传 感 器 ；单 目视 觉 ；摄 像 机 标 定 中 图分 类 号 ：TP242．6 文 献 标 识 码 ：B Abstract：A new 3D position measurementmethod Ofa wall—climbing micro robothas been researched．Researc— hing on the various position measuring and controlling method，theauthorhasputforwardanewprojecttomeas— ure the 3D position of the robot，in which the focusing method with singlecamera and CCD sensorhasbeen used to getthe position information．The elementary experiment has verified the principle and the system． Key words：robot；position detection；CCD sensor；single camera vision；camera caiibration 位置测量技 术是智 能机 器人 的关键 技术 ，是各 种 机器人控 制系统 中极 为重 要 的环节 ，也 是 国内外研 究 的热点所 在。 按 照测试 系统 与被 测机 器 人 的关 系 ，可 以将位 置 测量技术 分为接触 式和非接触式 两大类 。接触 式测量 系统 由于在测 量过程 中或多或少地 对机器人施 加 了载 荷 ，因而仅适用于静 态 位置测 量 。而动 态 位 置测量 系 统 主要分 5类 ：①激光跟踪 系统 ；@ CCD交 互测量 收 稿 日期 ：2001—07—03 基 金项 目：国家 863高科技 研 究 资助 项 目(9804-06)；教 育 部 高 等 学校 骨干教 师 资助 计 3t,j项 目 作者 简 介 ：张 智海 (1973一 )，男 ，工 学硕 士 ，主 要 研 究 方 向 为 智 能 机 器人 测 控 技 术 。 系统 ；③ 超声波 测量 系统 ；④ PSD(positionsensitivede— vice)位 置 测 量 系统 ；⑤ 带 有 接 近觉 传 感 器 的 测量 系 统 。位置测量 还可 以从另一个分类 角度划分为主动式 测量和被动 式测 量 。主动式测 量主要可 以分为结 构光方法和激光 自动聚焦法两类 。被 动式测量 主要 可 以分为双 目视 觉 、三 目视觉 、单 目视觉 等方法 。 对 比以上各种方法 的 优缺 点 ，针对 笔者 研制 的微 小爬壁机器人 的空 间三 维位 置 测量 的要 求 ，测量 系统 必须满足尺 寸小 、分 辨率 高 、稳定 性 和可 靠性 好 、时 间 响应快等特 点 ，提 出了采用 单 目视觉方法 中的聚焦法 ， 选用 CCD作 为传感器 ，用 三点法实现对机器人 的三维 位置测量 ，并用 Matlab和 V
标签： 机器人
上传时间： 2022-02-12
上传用户：
